Implicit Parallelism through Deep Language Embedding Alexander Alexandrov Lauritz Thamsen Andreas Kunft Odej Kao

Source URL: stratosphere.eu

• Software engineering
• Computer programming
• Computing
• Functional languages
• Higher-order functions
• Programming language comparisons
• Concurrent programming languages
• Object-oriented programming languages
• Monad
• Set-builder notation
• Scala
• Haskell

c ACM, 2008. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Higher-order functions
• Programming language comparisons
• Concurrent programming languages
• Functional languages
• Curry
• Fold
• Monad
• Constraint

Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems Deian Stefan1 Alejandro Russo2

Source URL: amitlevy.com

• Functional programming
• Programming idioms
• Inter-process communication
• Software design patterns
• Parallel computing
• Monad
• Concurrent Haskell
• Information flow
• Covert channel
• Concurrent computing
• LIO
• Recursion

There is no Fork: an Abstraction for Efficient, Concurrent, and Concise Data Access Simon Marlow Louis Brandy

Source URL: community.haskell.org

Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems Deian Stefan1 Alejandro Russo2

Source URL: www.amitlevy.com

• Computing
• Monad
• Concurrent Haskell
• Covert channel
• Information flow
• Thread
• Parity of a permutation
• Parallel computing
• Functional programming
• Computer programming
• Software engineering

Parallel and Concurrent Programming in Haskell version 1.2 Simon Marlow Microsoft Research Ltd., Cambridge, U.K.

Source URL: community.haskell.org

• Functional programming
• Monad
• Haskell
• Glasgow Haskell Compiler
• Parallel computing
• Concurrent computing
• Parallel programming model
• Futures and promises
• Concurrency
• Computing
• Software engineering
• Computer programming

Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems Deian Stefan1 Alejandro Russo2

Source URL: www.scs.stanford.edu

• Mathematics
• Monad
• Covert channel
• Concurrent Haskell
• Information flow
• Parity of a permutation
• Parallel computing
• Functional programming
• Software engineering
• Computer programming

Visualizing Parallel Functional Program Runs: Case Studies with the Eden Trace Viewer Jost Berthold and Rita Loogen Philipps-Universit¨at Marburg, Fachbereich Mathematik und Informatik Hans Meerwein Straße, DMar

Source URL: www.mathematik.uni-marburg.de

• Parallel computing
• Thread
• Parallel Virtual Machine
• Process
• Profiling
• Haskell
• Lock
• Task parallelism
• Computing
• Concurrent computing
• Computer programming

A Tutorial on Parallel and Concurrent Programming in Haskell Lecture Notes from Advanced Functional Programming Summer School 2008(to appear) Simon Peyton Jones and Satnam Singh Microsoft Research Cambridge

Source URL: research.microsoft.com

• Functional languages
• Haskell
• Parallel computing
• Data parallelism
• Pure
• Futures and promises
• Eval
• ALGOL 68
• Thread
• Computing
• Software engineering
• Computer programming

Parallel Coordination Made Explicit in a Functional Setting Jost Berthold and Rita Loogen Philipps-Universit¨ at Marburg, Fachbereich Mathematik und Informatik Hans Meerwein Straße, DMarburg, Germany

Source URL: www.mathematik.uni-marburg.de

• Parallel computing
• Application programming interfaces
• Concurrent computing
• Algorithmic skeleton
• Threads
• Haskell
• Kahn process networks
• Futures and promises
• Monad
• Computing
• Computer programming
• Software engineering